Mathematical knowledge
نویسندگان
چکیده
منابع مشابه
Engineering Mathematical Knowledge
Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS and CDET. That way, we achieve major benefits for mathematical knowledge management: (1) Semantic annotations relate mathematical constructs. This reaches beyond mathematics and thus fosters integration of mathematical content into a ...
متن کاملSkills and mathematical knowledge
1 Institute for Logic, Language and Computation, Universiteit van Amsterdam, Postbus 94242, 1090 GE Amsterdam, The Netherlands 2 Department Mathematik, Universität Hamburg, Bundesstraße 55, 20146 Hamburg, Germany 3 Mathematisches Institut, Rheinische Friedrich-Wilhelms-Universität Bonn, Endenicher Allee 60, 53115 Bonn, Germany 4 Departement Wijsbegeerte, Universiteit Utrecht, Heidelberglaan 6, ...
متن کاملMathematical Knowledge Management
INTRODUCTION Mathematical knowledge is significantly different from other kinds of knowledge. It is abstract, universal, highly structured, extraordinarily interconnected, and of immense size. Managing it is difficult and requires special techniques and tools. Mathematicians have developed (over the last two or three millennia) many techniques for managing mathematical knowledge. For example, t...
متن کاملStructuring Mathematical Knowledge
theorem or a theory, he has a lot more in mind than just the deductive details. He also has command intuitively, if not self consciously, of certain special classes of examples and heuristic advice. At least three broad categories of information are necessary to represent mathematical knowledge: results which contain the traditional logical aspects of mathematics, i.e., theorems and proofs; exa...
متن کاملHierarchy Construction of Mathematical Knowledge
Visualization with a hierarchy of mathematical knowledge structure, assist learners in understanding mathematics. We are developing a method which constructs a hierarchy of mathematical knowledge by using hyperlink analysis in our mathematics e-learning site. Hierarchy is calculated by an adjacency matrix.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 1977
ISSN: 0001-8708
DOI: 10.1016/0001-8708(77)90027-5